On Rational Weak Nilpotent Minimum Logics

نویسندگان

  • Francesc Esteva
  • Lluis Godo
  • Carles Noguera
چکیده

In this paper we investigate extensions of Gödel and Nilpotent Minimum logics by adding rational truth-values as truth constants in the language and by adding corresponding book-keeping axioms for the truth-constants. We also investigate the rational extensions of some parametric families of Weak Nilpotent Minimum logics, weaker than both Gödel and Nilpotent Minimum logics. Weak and strong standard completeness of these logics are studied in general and in particular when we restrict ourselves to formulas of the kind r → φ, where r is a rational in [0, 1] and φ is a formula without rational truth-constants.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On expansions of WNM t-norm based logics with truth-constants

This paper focuses on completeness results about generic expansions of propositional Weak Nilpotent Minimum (WNM) logics with truth-constants. Indeed, we consider algebraic semantics for expansions of these logics with a set of truth-constants {r | r ∈ C}, for a suitable countable C ⊆ [0, 1], and provide a full description of completeness results when (i) the t-norm is a Weak Nilpotent Minimum ...

متن کامل

First-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties

This paper aims at being a systematic investigation of different completeness properties of first-order predicate logics with truth-constants based on a large class of left-continuous t-norms (mainly continuous and weak nilpotent minimum t-norms). We consider standard semantics over the real unit interval but also we explore alternative semantics based on the rational unit interval and on finit...

متن کامل

On expansions of t-norm based logics with truth-constants

This paper focuses on completeness results about generic expansions of logics of both continuous t-norms and Weak Nilpotent Minimum (WNM) with truth-constants. Indeed, we consider algebraic semantics for expansions of these logics with a set of truth-constants {r | r ∈ C}, for a suitable countable C ⊆ [0, 1], and provide a full description of completeness results when (i) either the t-norm is a...

متن کامل

On Completeness Results for the Expansions with Truth-constants of Some Predicate Fuzzy Logics

In this paper we study generic expansions of predicate logics of some left-continuous t-norms (mainly Gödel and Nilpotent Minimum predicate logics) with a countable set of truth-constants. Using known results on tnorm based predicate fuzzy logics we obtain results on the conservativeness and completeness for the expansions of some predicate fuzzy logics. We describe the problem for the cases of...

متن کامل

Nilpotent Minimum Fuzzy Description Logics

We define the fuzzy description logic ALCHNM based on the t-norm of Nilpotent Minimum and we prove its reduction to the crisp description logic ALCH. Hence we prove decidability results for ALCHNM.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Multiple-Valued Logic and Soft Computing

دوره 12  شماره 

صفحات  -

تاریخ انتشار 2006